Session 12: Parallel Programming
نویسنده
چکیده
The drive to identify solutions to the many problems associated with the development of code for execution on parallel architectures continues to dominate research in this area. Apart from the problems associated with the lack of general purpose development environments there is the simple fact that once a parallel version of a program is produced there is no guarantee that it will have a satisfactory execution profile. Certain areas of programming, e.g. logic programming, pose highly specialized problems and there is a long standing and growing interest in solving these problems in a highly efficient manner. The papers contained in this section of the workshop programme can be divided into two groups. The first contains a paper which will have a broad range of applicability as it suggests how programs exhibiting finegrain characteristics can be restructured to produce coarsegrain equivalents with a much improved performance prolile. The second group of three papers have logic programming as a central feature and consider various performance and implementation related issues.
منابع مشابه
Safe Parallel Programming with Session Java
The session-typed programming language Session Java (SJ) has proved to be an effective tool for distributed programming, promoting structured programming for communications and compile-time safety. This paper investigates the use of SJ for session-typed parallel programming, and introduces new language primitives for chained iteration and multi-channel communication. These primitives allow the ...
متن کاملScalable Session Programming for Heterogeneous High-Performance Systems
This paper introduces a programming framework based on the theory of session types for safe and scalable parallel designs. Sessionbased languages can offer a clear and tractable framework to describe communications between parallel components and guarantee communicationsafety and deadlock-freedom by compile-time type checking and parallel MPI code generation. Many representative communication t...
متن کاملMultiparty Session C: Safe Parallel Programming with Message Optimisation
This paper presents a new efficient programming toolchain for message-passing parallel algorithms which can fully ensure, for any typable programs and for any execution path, deadlock-freedom, communication safety and global progress through a static checking. The methodology is embodied as a multiparty session-based programming environment for C and its runtime libraries, which we call Session...
متن کاملSession-Based Programming for Parallel Algorithms: Expressiveness and Performance
This paper investigates session programming and typing of benchmark examples to compare productivity, safety and performance with other communications programming languages. Parallel algorithms are used to examine the above aspects due to their extensive use of message passing for interaction, and their increasing prominence in algorithmic research with the rising availability of hardware resou...
متن کاملA fuzzy mixed-integer goal programming model for a parallel machine scheduling problem with sequence-dependent setup times and release dates
This paper presents a new mixed-integer goal programming (MIGP) model for a parallel machine scheduling problem with sequence-dependent setup times and release dates. Two objectives are considered in the model to minimize the total weighted flow time and the total weighted tardiness simultaneously. Due to the com-plexity of the above model and uncertainty involved in real-world scheduling probl...
متن کاملProcess algebraic modeling of authentication protocols for analysis of parallel multi-session executions
Many security protocols have the aim of authenticating one agent acting as initiator to another agent acting as responder and vice versa. Sometimes, the authentication fails because of executing several parallel sessions of a protocol, and because an agent may play both the initiator and responder role in parallel sessions. We take advantage of the notion of transition systems to specify authen...
متن کامل